Relative Completeness of Incorrectness Separation Logic
arxiv.org·20h
🧠Separation Logic
A New Concurrent ML in Guile Scheme
wingolog.org·15h·
Discuss: Hacker News
🔄Lens Laws
Designing a Flexible Ability System in Games Using the Chain of Responsibility Pattern
hackernoon.com·3h
✨Algebraic Effects
Why Computer Science Is No Good, Redux
cacm.acm.org·7h
🎯Performance Proofs
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
⚗️Algebraic Coding
Pragmatism in Programming Proverbs
gingerbill.org·15h·
Discuss: Lobsters, Hacker News, r/programming
💻Programming languages
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·1d
📝Concrete Syntax
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·11h·
Discuss: www.blogger.com
🌳Persistent Data Structures
A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation
arxiv.org·20h
🔄Finite State Machines
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·2d·
Discuss: Hacker News
💧Liquid Types
Kimi K2 vs Grok 4: Which AI Model Codes Better?
dev.to·10h·
Discuss: DEV
🧠Intelligence Compression
Using Closures to Extend Class Behavior Without Breaking Encapsulation
hackernoon.com·4h
🔬Refinement Types
How to Write Inductive Invariants
quint-lang.org·4d·
Discuss: Lobsters, Hacker News, r/programming
🌐Protocol Synthesis
How the Lean language brings math to coding and coding to math
amazon.science·6h·
Discuss: Hacker News
🔬Lean
Encapsulation Isn't Java's Fault (and Python Needs It Too)
lihil.cc·4h·
Discuss: Hacker News, r/programming
🔒WASM Capabilities
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·17h
✅Archive Validation
Folk AI psychology and the limits of mechanistic interpretability
seangoedecke.com·25m
🔲Cellular Automata
How To Review Code
endler.dev·25m
📏Code Metrics
Software Internals Book Club
eatonphil.com·18h
⚙️Operating System Design
SAT Requires Exhaustive Search
link.springer.com·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity